1. Applied Formal Methods FM-Trends 98
پدیدآورنده : \ [Edited by] Dieter Hutter...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها
رده :
E-Book
,
2. Applied formal methods--FM Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : proceedings
پدیدآورنده : Dieter Hutter...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
1641
3. Security in pervasive computing : First International Conference, Boppard, Germany, March 12-14, 2003 : revised papers
پدیدآورنده : Dieter Hutter...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Ubiquitous computing,Congresses ، Computer security
رده :
QA
76
.
L28
Vol
.
2802
